symmetric monoidal (∞,1)-category of spectra
A discrete valuation ring is a principal ideal domain which has exactly one non-zero maximal ideal. This means that it is a local principal ideal domain, or equivalently, a local integral domain with a Dedekind-Hasse norm.
Every discrete valuation ring is a local integral domain.
The ring of formal power series of a field is a discrete valuation ring.
See also:
Last revised on January 12, 2023 at 17:44:54. See the history of this page for a list of all contributions to it.